Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
391	A Theoretical Study of Different Leader Roles in Networks Wei Wang Jean-Jacques E. Slotine Add to Reading List Source URL: web.mit.edu Language: English - Date: 2006-08-25 15:20:33 Lambda calculus Logic in computer science Lyapunov stability Matrix Contraction Mathematics Physics Operator theory Mathematical analysis Combinatory logic
392	¯ The λλ-calculus A dual calculus for unconstrained strategies Alexis Goyet PPS, Universit´ Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2013-09-26 02:18:34 Formal methods Computability theory Lambda calculus Function Combinatory logic Fixed-point combinator Mathematics Mathematical logic Theoretical computer science
393	UNIVERSITE PARIS. DIDEROT (Paris 7) SORBONNE PARIS CITE ¯ -calculus λλ Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2014-01-16 12:44:23 Models of computation Lambda calculus Formal methods Logic in computer science Programming language Formal language Actor model Semantics Combinatory logic Applied mathematics Theoretical computer science Mathematics
394	WSEAS TRANSACTIONS ON MATHEMATICS Issue 6 . Volume 6 . June 2007 ISSN: [removed] Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-07-10 20:11:14 Operations research Travelling salesman problem Linear programming Combinatory logic Optimization problem Four-square cipher Obfuscated code Mathematics Theoretical computer science Applied mathematics
395	Fast mixing for independent sets, colorings and other models on trees Fabio Martinelli† Alistair Sinclair‡ Add to Reading List Source URL: www.mat.uniroma3.it Language: English - Date: 2003-12-05 05:20:56 Ising model Combinatory logic Symbol Spectral theory of ordinary differential equations Physics Statistical mechanics Theoretical physics
396	TIGHT SUBDESIGNS OF THE HIGMAN-SIMS DESIGN STEVEN KLEE AND LEAH YATES Abstract. The Higman-Sims design is an incidence structure of 176 points and 176 blocks of cardinality 50 with every two blocks meeting in 14 points. Add to Reading List Source URL: www.rose-hulman.edu Language: English - Date: 2005-10-14 18:17:34 Theoretical computer science Analysis of variance Statistics Combinatory logic Lambda calculus Logic in computer science Symmetric design FO Block design Mathematics Design of experiments Design theory
397	Noname manuscript No. (will be inserted by the editor) Aggregated Fuzzy Answer Set Programming Jeroen Janssen · Steven Schockaert · Dirk Vermeir · Martine De Cock Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-05-15 15:15:58 Fuzzy logic Logic in computer science Artificial intelligence Answer set programming FO T-norm Combinatory logic Residuated lattice Logic Mathematical logic Mathematics
398	A core language for fuzzy answer set programming Jeroen Janssena,1,∗, Steven Schockaertb,2,∗∗, Dirk Vermeira,∗∗, Martine De Cockb,∗∗ a Department of Computer Science, Vrije Universiteit Brussel Pleinlaan 2, Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-01-17 05:38:49 Logic programming Logic in computer science Fuzzy logic Functions and mappings Stable model semantics Answer set programming Negation Combinatory logic Closure operator Mathematical logic Mathematics Logic
399	Bi-Immunity Separates Strong NP-Completeness Notions A. Pavan?1 and Alan L Selman2 1 2 Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2001-12-13 15:38:53 NP-complete NP P Combinatory logic P versus NP problem Computational complexity theory Theoretical computer science Complexity classes Applied mathematics
400	Operational Semantics for Multi-Language Programs Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2006-10-26 19:02:16 Computer science Functional languages Logic in computer science Models of computation Combinatory logic Fixed-point combinator ML Theoretical computer science Lambda calculus Software engineering

UPDATE